Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
521	Solving MPSGE Models Using GEMPACK Laurent Cretegny, Mark Horridge, Ken Pearson Centre of Policy Studies, Monash University Thomas Rutherford Department of Economics, University of Colorado Add to Reading List Source URL: www.mpsge.org Language: English* - Date: 2005-07-12 01:00:00 Game theory General equilibrium theory Computable general equilibrium Supply and demand Gempack Macroeconomic model Economic model Economic equilibrium Economics Terminology Computer algebra systems
522	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL 279 Lec 02/03 — “Logic I” Fall Term 2010 Course Outline Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2014-07-27 06:36:15 Education Predicate logic Semantics Logic in computer science Boolean algebra First-order logic Valuation Tutorial Homework Logic Mathematical logic Model theory
523	Zaletnyik Piroska PhD dissertation Summary of the dissertation Coordinate transformation using Computer Algebra System and artificial neural Add to Reading List Source URL: www.agt.bme.hu Language: English - Date: 2007-12-19 05:42:56 Technology Measurement GPS Surveying Geodetic system Friedrich Robert Helmert World Geodetic System Neural network Artificial neural network Geodesy Navigation Cartography
524	Sample Paper for the amsmath Package File name: testmath.tex American Mathematical Society Version 2.0, Add to Reading List Source URL: mirror.easyname.at Language: English - Date: 1999-11-15 15:09:17 Logic in computer science Operator theory Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus
525	ForSpec ForSpec Reference Manual June 24, 2001 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2007-06-26 03:17:52 C programming language Data types Boolean algebra FO Finite model theory C syntax C Enumerated type Bit array Computing Computer programming Software engineering
526	Parallel Programming with MPI Lars Koesterke : HPC Workshop at ASU : HPC Workshop at CSU Add to Reading List Source URL: hpcuniversity.org Language: English - Date: 2014-10-24 15:24:50 Computer programming Application programming interfaces Numerical linear algebra Free software MPICH Public domain software Message Passing Interface Portable Extensible Toolkit for Scientific Computation Computer cluster Computing Software Parallel computing
527	A Parallel Quasi-Monte Carlo Method for Computing Extremal Eigenvalues Michael Mascagni1 and Aneta Karaivanova1,2 1 Florida State University, Department of Computer Science, Tallahassee, FL Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2003-10-07 17:29:16 Numerical analysis Mathematical physics Markov models Matrix theory Low-discrepancy sequence Markov chain Quasi-Monte Carlo method Eigenvalues and eigenvectors Matrix Mathematics Algebra Linear algebra
528	Archdiocese of Chicago: Mathematics Curriculum Framework Grade 9: Algebra 1 Focus State Goal 6: Demonstrate and apply a knowledge and sense of numbers, including numeration and operations (addition, subtraction, multipli Add to Reading List Source URL: schools.archchicago.org Language: English - Date: 2010-08-12 13:49:39 Quadratic Mathematics Computer algebra system Knowledge Education reform Principles and Standards for School Mathematics Mathematics education Algebra Education
529	AICS TECHNICAL Report N0Block BiCGStab for lattice QCD on the K computer Add to Reading List Source URL: www.aics.riken.jp Language: English - Date: 2014-12-02 00:32:04 Abstract algebra Biconjugate gradient stabilized method Lattice Preconditioner Dirac equation Quasigroup Conjugate gradient method OpenMP Krylov subspace Numerical linear algebra Algebra Mathematics
530	Type-Level Computations in Scala Stefan Zeiger Motivation •  Heterogeneous collection types (HList, HArray) val l1 = 42 :: "foo" :: Some(1.0) :: "bar" :: HNil Add to Reading List Source URL: slick.typesafe.com Language: English - Date: 2015-05-08 12:55:33 Functional languages Data types C++ Standard Library Boolean algebra Boolean data type Scala Sequence container Operator overloading Id Computing Software engineering Computer programming

UPDATE